Кулямин В.В.: tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (23)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Использование конечных автоматов для тестирования программ

Использование конечных автоматов для тестирования программ

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 466 KB

0 / 0

russian

2

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Московский государственный университет имени М. В. Ломоносова

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Năm:

2012

Ngôn ngữ:

russian

File:

PDF, 3.79 MB

0 / 0

russian, 2012

3

Компонентный подход в программировании

Компонентный подход в программировании

НОУ «Интуит»

Кулямин В.В.

Năm:

2016

Ngôn ngữ:

russian

File:

PDF, 51.49 MB

0 / 0

russian, 2016

4

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Горячая линия-Телеком

П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]

Năm:

2019

Ngôn ngữ:

russian

File:

PDF, 2.61 MB

0 / 0

russian, 2019

5

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Năm:

2006

Ngôn ngữ:

russian

File:

PDF, 4.54 MB

0 / 3.0

russian, 2006

6

Технологии программирования. Компонентный подход: Лабораторная работа 1

Технологии программирования. Компонентный подход: Лабораторная работа 1

Кулямин В.В.

Năm:

2006

Ngôn ngữ:

russian

File:

PDF, 457 KB

0 / 0

russian, 2006

7

Технологии программирования. Компонентный подход

Технологии программирования. Компонентный подход

Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 3.61 MB

0 / 0

russian

8

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Năm:

2008

Ngôn ngữ:

russian

File:

PDF, 3.45 MB

0 / 0

russian, 2008

9

Методы верификации программного обеспечения

Методы верификации программного обеспечения

Кулямин В.В.

Năm:

2008

Ngôn ngữ:

russian

File:

PDF, 1.06 MB

0 / 0

russian, 2008

10

Асинхронные автоматы: Классификация и тестирование

Асинхронные автоматы: Классификация и тестирование

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 1.53 MB

0 / 0

russian

11

Перспективы интеграции методов верификации программного обеспечения

Перспективы интеграции методов верификации программного обеспечения

Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 214 KB

0 / 0

russian

12

Теория соответствия для систем с блокировками и разрушением

Теория соответствия для систем с блокировками и разрушением

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 12.77 MB

0 / 0

russian

13

Технологии программирования. Компонентный подход: Лабораторная работа 2

Технологии программирования. Компонентный подход: Лабораторная работа 2

Кулямин В.В.

Năm:

2006

Ngôn ngữ:

russian

File:

PDF, 540 KB

0 / 0

russian, 2006

14

Суперкомпьютерное моделирование в физике климатической системы

Суперкомпьютерное моделирование в физике климатической системы

Издательство Московского Университета

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Năm:

2012

Ngôn ngữ:

russian

File:

PDF, 10.44 MB

0 / 0

russian, 2012

15

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

Năm:

2012

Ngôn ngữ:

russian

File:

PDF, 15.15 MB

0 / 0

russian, 2012

16

Комбинаторика слов и построение тестовых последовательностей

Комбинаторика слов и построение тестовых последовательностей

Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 413 KB

0 / 0

russian

17

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 247 KB

0 / 0

russian

18

Об образах полиномиальных отображений в конечных кольцах матриц

Об образах полиномиальных отображений в конечных кольцах матриц

Кулямин В.В.

Năm:

2000

Ngôn ngữ:

russian

File:

PDF, 674 KB

0 / 0

russian, 2000

19

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

Năm:

2008

Ngôn ngữ:

russian

File:

PDF, 3.30 MB

0 / 0

russian, 2008

20

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Кулямин В.В., Омельченко В.А., Петренко О.Л.

Ngôn ngữ:

russian

File:

PDF, 590 KB

0 / 0

russian

21

Формирование профессиональных компетенций современного разработчика ПО

Формирование профессиональных компетенций современного разработчика ПО

Кулямин В.В., Омельченко В.А., Петренко О.Л.

Ngôn ngữ:

russian

File:

PDF, 373 KB

0 / 0

russian

22

Компонентный подход в программировании

Компонентный подход в программировании

Кулямин В.В.

Ngôn ngữ:

russian

File:

PDF, 51.66 MB

0 / 0

russian

23

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

ЭБС Лань

Виноградова М. В., Кулямина О. С., Леонова В. П., Бронникова Е. М., Бабакаев С. В., Волков Д. В., Афанасьева Н. В.

Năm:

2020

Ngôn ngữ:

russian

File:

PDF, 888 KB

0 / 5.0

russian, 2020